|
06.03.15 19:56 |
Emet   | Теорема Гёделя |
ru |
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя[~ 1] — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
|
|
| |
|
|
| 24.02.15 15:44 |
Emet | |
ru |
"Говоришь, что все наместники - ворюги?
Но ворюга мне милей, чем кровопийца."(c) И. Бродский
|
| Comments: 1 | |
| |
|
|
| 16.02.15 22:12 |
Emet | |
ru |
Когда разочаровываешься в человеке, становится все равно, где он, с кем он и что он о тебе думает или не думает.
© Неизвестный автор, 809 цитат
|
|
| |
|
|
| 16.01.15 12:04 |
Emet | |
ru |
|
|
| |
|
|
| 12.01.15 20:43 |
Мирра | |
ru |
Для себя - что б не забыть.
С 20 февраля фильм "Батальонъ"
|
| Comments: 1 | |
| |
|
|
| updated 30.09.15 21:00 12.01.15 12:52 |
Monamurr | части коллекции эма |
ru |
скрыть
 Резиновая косточка  Мягкие тапочки  Зубная щетка
скрыть
 Засохший цветок  ваза  колокольчик
скрыть
 Сломанный меч  Ржавый кинжал  Арбалет
|
|
| |
|
|
| updated 10.01.15 18:53 10.01.15 17:45 |
Мирра | |
ru |
Фильм Елки 3 мне не очень понравился, по сравнению с первой и второй частью.
Но стихотворение Валентина Гафта из этого фильма - просто до дрожи пробирает, как и мелодия...
p.s. Какое то у меня упадше-слезливое настроение в начале этого года.
Как бы ты не хотел подводить итоги ушедшего года. Подсознательно ты их все равно подводишь и по душевному состоянию, по эмоциям обуревающим - все становится ясно.
Праздники, образовавшееся свободное время... Работа затянет, все пройдет (или уснет на время)
p.p.s. Мосты
Я строю мысленно мосты,
Их измерения просты,
Я строю их из пустоты,
Чтобы идти туда, где Ты.
Мостами землю перекрыв,
Я так Тебя и не нашел,
Открыл глаза, а там… обрыв,
Мой путь закончен, я – пришел.
Комментарий на одном из форумов: "Суть в последней строке. для кого то это финал, для кого то только начало. В одной строчке вся суть и особенность человека."
Mood: задумчивое 
|
| Comments: 3 | |
| |
|
|
| updated 07.01.15 12:09 06.01.15 20:54 |
Emet | |
ru |
|
анекдот: У замужней женщины всегда множество различных проблем, а у незамужней всего одна - "как найти мужа?"
|
| Comments: 2 | |
| |
|
Total posts: 5043 Pages: 505
1 2 3 4 5 6 7 8 9 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 100.. 110.. 120.. 130.. 140.. 150.. 160.. 170.. 180.. 190.. 200.. 210.. 220.. 230.. 240.. 250.. 260.. 270.. 280.. 290.. 300.. 310.. 320.. 330.. 340.. 350.. 360.. 370.. 380.. 390.. 400.. 410.. 420.. 430.. 440.. 450.. 460.. 470.. 480.. 490.. 500..
|
|
| Mo |
Tu |
We |
Th |
Fr |
Sa |
Su |
| | | 1 | 2 | 3 | 4 | | 5 | 6 | 7 | 8 | 9 | 10 | 11 | | 12 | 13 | 14 | 15 | 16 | 17 | 18 | | 19 | 20 | 21 | 22 | 23 | 24 | 25 | | 26 | 27 | 28 | 29 | 30 | 31 | |
|
Стальная Муха 
Штопор
Воздушный шарик
